(0 17 10)(1 16 3)(2 9 7)(4 13 6)(5 15 11)(8 14 12)
ALLOWS (11/8)-SEQUENCE
1: (5 11 15)
(0 17 10)(1 16 3)(2 9 7)(4 13 6)(5 11 15)(8 14 12)
2: (4 13 6)
(0 17 10)(1 16 3)(2 9 7)(4)(5 11 15)(6)(8 14 12)(13)
3: (5 11 15)
(0 17 10)(1 16 3)(2 9 7)(4)(5)(6)(8 14 12)(11)(13)(15)
4: (8 14 12)
(0 17 10)(1 16 3)(2 9 7)(4)(5)(6)(8)(11)(12)(13)(14)(15)